1. Formal Methods for Components and Objects
پدیدآورنده : / Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK